Functional Reactive Programming in K12 Education
نویسندگان
چکیده
The Western Computer Camp is a summer camp hosted by Western State Colorado University for students in grades 8 through 12 who are interested in mathematics, physics, design, and computer science. Each session lasts one week, during which time the students build 3D virtual worlds as a means of interdisciplinary learning. The worlds are created using the Panda3D game engine and a Functional Reactive Programming (FRP) Python library. adaptation of the original Fran Haskell library. Students are also able to create their own 3D models to load into their worlds using the Maya modeling system. Panda3D, originally developed by Disney and later adopted by CMU, is an opensource game engine. It is scripted using Python, a language well suited for beginning programmers. Its key features are the ability to load user created models, interactive GUI objects, particle effects, sound effects, and dynamicly generated geometry [4]. Our camp is built around STEM (Science, Technology, Engineering, and Mathematics) topics. We present a wide variety of topics from mathematics (3-D geometry, coordinate systems, vectors, trigonometry, and calculus), physics (projectile motion, object collisions, colors, and control systems), computer science (functions, loops, decisions, and reactive programming), and design (3-D modeling). Our software fills a gap between systems such as Alice or GameMaker, with fixed interaction vocabularies and only minimal exposure of the underlying mathematics, and game engines programmed through their often complex APIs. Functional Reactive Programming[3]. provides a high level programming environment without the complexity and detail of a full game engine API.
منابع مشابه
Problems Associated with a Lack of Cohesive Policy in K-12 Pre-college Engineering
This article identifies a number of issues associated with current STEM education reform efforts, especially with regard to efforts to integrate engineering education into the K12 curriculum. Precollege engineering is especially problematic in STEM reform since there is no well-established tradition of engineering in the K12 curriculum. This discussion aims at identifying some of the issues and...
متن کاملFunctional Reactive Programming for Real-Time Reactive Systems
Functional Reactive Programming for Real-Time Reactive Systems
متن کاملMaster’s Thesis Proposal: Framework for Formal Verification of Functional Reactive Systems
Functional reactive programming (FRP) is an emerging paradigm which allows the management of input/output and state within the confines of a purely functional language. The functional nature of FRP promises to make formal verification of functional reactive systems more tractable than that of their imperative counterparts. I propose to substantiate this claim by formally modeling FRP systems an...
متن کاملFeature-Oriented Functional Reactive Programming
This report describes an implementation of a functional reactive programming extension to Java implemented using the feature-oriented Jakarta Tool Suite. I explore the connection between feature-oriented programming and domain specific languages by demonstrating how this domain-specific language is both implemented and used in a feature-oriented system.
متن کاملFunctional Reactive Virtual Reality
In this paper we introduce a VR system extension that focuses on the creation of interactive, dynamic Virtual Environments. The extension uses the recently developed programming concept, Functional Reactive Programming. This paradigm focuses on an explicit and more natural concept of time in the modeling of dynamics, without sacrificing interactivity. We present an implementation that embeds th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013